哈维弗里德曼 初等运算